<?php `git pull`;